Well-formed formula - PDFSEARCH.IO - Document Search Engine

Well-formed formula
Results: 322

#	Item
261	Intervention Effects as NPI Licensing Intervention Add to Reading List Source URL: www.lingref.com Language: English - Date: 2013-07-01 13:00:00 Syntax Semantics Polarity item Boolean algebra Negation Wh-movement Logical connective Well-formed formula Quantification Logic Linguistics Grammar
262	An Inductive Version of Nash-Williams’ Minimal-bad-sequence Argument for Higman’s Lemma Monika Seisenberger 1 Add to Reading List Source URL: www-compsci.swan.ac.uk Language: English - Date: 2006-06-30 15:47:08 Mathematical proofs Proof theory Mathematical constructivism Logical syntax Well-quasi-ordering Bar induction Mathematical induction Well-formed formula Constructive proof Logic Mathematics Mathematical logic
263	Model Checking Games for Branching Time Logics Martin Lange and Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2009-05-20 09:55:06 Logical syntax Metalogic Mathematical logic Propositional calculus Interpretation Well-formed formula Entailment Symbol Partition Logic Mathematics Formal languages
264	Focus Games for Satisfiability and Completeness of Temporal Logic Martin Lange Colin Stirling LFCS, Division of Informatics, University of Edinburgh, JCMB, King’s Buildings, Edinburgh, EH9 3JZ {martin,cps}@dcs.ed.ac.uk Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2009-05-20 09:57:33 Formal languages Logical syntax Linear temporal logic Temporal logic Interpretation Entailment Substitution Model theory Well-formed formula Logic Metalogic Propositional calculus
265	Relations Versus Functions at the Foundations of Logic: Type-Theoretic Considerations∗ Add to Reading List Source URL: mally.stanford.edu Language: English - Date: 2011-03-26 14:18:16 Model theory Formal languages Predicate logic Logical syntax First-order logic Interpretation Principia Mathematica Well-formed formula Function Logic Mathematics Mathematical logic
266	Description Logics Description Logics and Logics Add to Reading List Source URL: www.inf.unibz.it Language: English - Date: 2011-09-08 09:53:47 Metalogic Model theory Philosophical logic Satisfiability Modal logic Temporal logic Description logic Well-formed formula Linear temporal logic Logic Mathematical logic Non-classical logic
267	Description Logics Using First Order Logic Add to Reading List Source URL: www.inf.unibz.it Language: English - Date: 2011-09-08 09:53:47 Metalogic Logical syntax Propositional calculus First-order logic Interpretation Satisfiability Well-formed formula Linear temporal logic Entailment Logic Model theory Formal languages
268	Description Logics Foundations of First Order Logic Add to Reading List Source URL: www.inf.unibz.it Language: English - Date: 2011-09-08 09:53:47 Formal languages Propositional calculus Logical syntax Interpretation First-order logic Well-formed formula Proposition Logical connective Function Logic Mathematical logic Predicate logic
269	Arithmetic Decision Procedures: a simple introduction Michael Norrish Add to Reading List Source URL: users.cecs.anu.edu.au Language: English - Date: 2003-11-07 00:31:44 Model theory Quantification Complexity classes Predicate logic Quantifier elimination Presburger arithmetic Well-formed formula Arithmetical hierarchy Universal quantification Logic Mathematical logic Mathematics